Data Structure as Topological Spaces
نویسندگان
چکیده
In this paper, we propose a topological metaphor for computations: computing consists in moving through a path in a data space and making some elementary computations along this path. This idea underlies an experimental declarative programming language called mgs. mgs introduces the notion of topological collection: a set of values organized by a neighborhood relationship. The basic computation step in mgs relies on the notion of path : a path C is substituted for a path B in a topological collection A. This step is called a transformation and several features are proposed to control the transformation applications. By changing the topological structure of the collection, the underlying computational model is changed. Thus, mgs enables a unified view on several computational mechanisms. Some of them are initially inspired by biological or chemical processes (Gamma and the CHAM, Lindenmayer systems, Paun systems and cellular automata).
منابع مشابه
LOCAL BASES WITH STRATIFIED STRUCTURE IN $I$-TOPOLOGICAL VECTOR SPACES
In this paper, the concept of {sl local base with stratifiedstructure} in $I$-topological vector spaces is introduced. Weprove that every $I$-topological vector space has a balanced localbase with stratified structure. Furthermore, a newcharacterization of $I$-topological vector spaces by means of thelocal base with stratified structure is given.
متن کاملConnected and Hyperconnected Generalized Topological Spaces
A. Csaszar introduced and extensively studied the notion of generalized open sets. Following Csazar, we introduce a new notion hyperconnected. We study some specic properties about connected and hyperconnected in generalized topological spaces. Finally, we characterize the connected component in generalized topological spaces.
متن کاملOn generalized topological molecular lattices
In this paper, we introduce the concept of the generalized topological molecular lattices as a generalization of Wang's topological molecular lattices, topological spaces, fuzzy topological spaces, L-fuzzy topological spaces and soft topological spaces. Topological molecular lattices were defined by closed elements, but in this new structure we present the concept of the open elements and defi...
متن کاملStratified $(L,M)$-fuzzy Q-convergence spaces
This paper presents the concepts of $(L,M)$-fuzzy Q-convergence spaces and stratified $(L,M)$-fuzzy Q-convergence spaces. It is shown that the category of stratified $(L,M)$-fuzzy Q-convergence spaces is a bireflective subcategory of the category of $(L,M)$-fuzzy Q-convergence spaces, and the former is a Cartesian-closed topological category. Also, it is proved that the category of stratified $...
متن کاملON (L;M)-FUZZY CLOSURE SPACES
The aim of this paper is to introduce $(L,M)$-fuzzy closurestructure where $L$ and $M$ are strictly two-sided, commutativequantales. Firstly, we define $(L,M)$-fuzzy closure spaces and getsome relations between $(L,M)$-double fuzzy topological spaces and$(L,M)$-fuzzy closure spaces. Then, we introduce initial$(L,M)$-fuzzy closure structures and we prove that the category$(L,M)$-{bf FC} of $(L,M...
متن کاملOn Generalized Injective Spaces in Generalized Topologies
In this paper, we first present a new type of the concept of open sets by expressing some properties of arbitrary mappings on a power set. With the generalization of the closure spaces in categorical topology, we introduce the generalized topological spaces and the concept of generalized continuity and become familiar with weak and strong structures for generalized topological spaces. Then, int...
متن کامل